退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证的用于解译低级自我修改代码的抽象解释技术
Blazy, Sandrine; Laporte, Vincent; Pichardie, David;
机译:使用约束编程和抽象解释技术验证浮点程序
机译:在Java字节码验证中使用抽象解释为接口添加类型检查
机译:低级代码的声音验证的工具和技术。
机译:选定的低级生物信息学操作加速技术的比较
机译:二进制CFG重建自修改代码。
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:自修改计算机代码校验和验证的方法,装置和计算机程序载体
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。